Search results for "finite [mass]"

showing 10 items of 356 documents

A description based on languages of the final non-deterministic automaton

2014

The study of the behaviour of non-deterministic automata has traditionally focused on the languages which can be associated to the different states. Under this interpretation, the different branches that can be taken at every step are ignored. However, we can also take into account the different decisions which can be made at every state, that is, the branches that can be taken, and these decisions might change the possible future behaviour. In this case, the behaviour of the automata can be described with the help of the concept of bisimilarity. This is the kind of description that is usually obtained when the automata are regarded as labelled transition systems or coalgebras. Contrarily t…

Nested wordTheoretical computer scienceGeneral Computer ScienceTimed automatonLlenguatges de programacióω-automatonTheoretical Computer ScienceDeterministic pushdown automatonCoalgebraFinal automatonDeterministic automatonQuantum finite automataAutomatitzacióComputer Science::DatabasesMathematicsDiscrete mathematicsNonlinear Sciences::Cellular Automata and Lattice GasesNon-deterministic automatonMobile automatonBisimilarityComputer Science::Programming LanguagesAutomata theoryFormal languageÀlgebraMATEMATICA APLICADAComputer Science::Formal Languages and Automata Theory
researchProduct

Complexity of operations on cofinite languages

2010

International audience; We study the worst case complexity of regular operation on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the resulting minimal automata.

Nested wordTheoretical computer scienceSettore INF/01 - Informaticaautomata[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]regular operationReDoSComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]0102 computer and information sciences02 engineering and technologyDescriptive complexity theorystate complexity01 natural sciencesComplement (complexity)Deterministic finite automaton010201 computation theory & mathematicsTheory of computation0202 electrical engineering electronic engineering information engineeringComputer Science::Programming LanguagesQuantum finite automata020201 artificial intelligence & image processingNondeterministic finite automatoncofinite languageMathematics
researchProduct

Unitarized Chiral Perturbation Theory in a finite volume: scalar meson sector

2011

We develop a scheme for the extraction of the properties of the scalar mesons f0(600), f0(980), and a0(980) from lattice QCD data. This scheme is based on a two-channel chiral unitary approach with fully relativistic propagators in a finite volume. In order to discuss the feasibility of finding the mass and width of the scalar resonances, we analyze synthetic lattice data with a fixed error assigned, and show that the framework can be indeed used for an accurate determination of resonance pole positions in the multi-channel scattering.

Nuclear and High Energy PhysicsChiral perturbation theoryeffect [threshold]MesonNuclear TheoryHigh Energy Physics::LatticeFOS: Physical scienceschiral [perturbation theory]f0(980)a0(980)Nuclear Theory (nucl-th)High Energy Physics - Phenomenology (hep-ph)High Energy Physics - LatticeLattice (order)relativistic [propagator]unitarityddc:530energy levelsScalar mesonnumerical calculationsMathematical physicsPhysicsFinite volume methodScatteringscalar [resonance]High Energy Physics - Lattice (hep-lat)PropagatorFísicascalar mesonLattice QCDf0(600)boundary conditionpole [resonance]High Energy Physics - Phenomenologyfinite size
researchProduct

Scalar mesons moving in a finite volume and the role of partial wave mixing

2012

Phase shifts and resonance parameters can be obtained from finite-volume lattice spectra for interacting pairs of particles, moving with nonzero total momentum. We present a simple derivation of the method that is subsequently applied to obtain the pi pi and pi K phase shifts in the sectors with total isospin I=0 and I=1/2, respectively. Considering different total momenta, one obtains extra data points for a given volume that allow for a very efficient extraction of the resonance parameters in the infinite-volume limit. Corrections due to the mixing of partial waves are provided. We expect that our results will help to optimize the strategies in lattice simulations, which aim at an accurat…

Nuclear and High Energy PhysicsNuclear TheoryMesonpartial waveFOS: Physical sciencesSpectral lineNuclear Theory (nucl-th)phase shiftisospinHigh Energy Physics - LatticeHigh Energy Physics - Phenomenology (hep-ph)Lattice (order)mixingddc:530latticepi piPhysicsFinite volume methodScatteringscatteringHigh Energy Physics - Lattice (hep-lat)Físicascalar mesonpi KHigh Energy Physics - Phenomenology* Automatic Keywords *Data pointfinite sizeIsospinQuantum electrodynamics
researchProduct

On the implementation of weno schemes for a class of polydisperse sedimentation models

2011

The sedimentation of a polydisperse suspension of small rigid spheres of the same density, but which belong to a finite number of species (size classes), can be described by a spatially one-dimensional system of first-order, nonlinear, strongly coupled conservation laws. The unknowns are the volume fractions (concentrations) of each species as functions of depth and time. Typical solutions, e.g. for batch settling in a column, include discontinuities (kinematic shocks) separating areas of different composition. The accurate numerical approximation of these solutions is a challenge since closed-form eigenvalues and eigenvectors of the flux Jacobian are usually not available, and the characte…

Numerical AnalysisConservation lawPhysics and Astronomy (miscellaneous)Applied MathematicsDegenerate energy levelsMathematical analysisComputer Science ApplicationsMatrix decompositionComputational MathematicsNonlinear systemsymbols.namesakeModeling and SimulationJacobian matrix and determinantDiagonal matrixsymbolsFinite setEigenvalues and eigenvectorsMathematics
researchProduct

Numerical Study of Two Sparse AMG-methods

2003

A sparse algebraic multigrid method is studied as a cheap and accurate way to compute approximations of Schur complements of matrices arising from the discretization of some symmetric and positive definite partial differential operators. The construction of such a multigrid is discussed and numerical experiments are used to verify the properties of the method.

Numerical AnalysisMathematical optimizationDiscretizationApplied MathematicsNumerical analysisMathematicsofComputing_NUMERICALANALYSISPositive-definite matrixFinite element methodComputational MathematicsMultigrid methodModeling and SimulationComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONSchur complementApplied mathematicsPartial derivativeAnalysisMathematicsSparse matrixESAIM: Mathematical Modelling and Numerical Analysis
researchProduct

Kirkwood-Buff Integrals for Finite Volumes.

2012

Exact expressions for finite-volume Kirkwood−Buff (KB) integrals are derived for hyperspheres in one, two, and three dimensions. These integrals scale linearly with inverse system size. From this, accurate estimates of KB integrals for infinite systems are obtained, and it is shown that they converge much better than the traditional expressions. We show that this approach is very suitable for the computation of KB integrals from molecular dynamics simulations, as we obtain KB integrals for open systems by simulating closed systems.

Order of integration (calculus)Theoretical computer scienceInverse systemScale (ratio)Computer scienceComputationSlater integralsMathematical analysisInfinite systemsSmall systemsGeneral Materials SciencePhysical and Theoretical ChemistryThe journal of physical chemistry letters
researchProduct

Some local properties defining $T_0$-groups and related classes of groups

2016

[EN] We call G a Hall_X -group if there exists a normal nilpotent subgroup N of G for which G/N' is an X -group. We call G a T0 -group provided G/\Phi(G) is a T -group, that is, one in which normality is a transitive relation. We present several new local classes of groups which locally define Hall_X -groups and T_0 -groups where X ∈ {T , PT , PST }; the classes PT and PST denote, respectively, the classes of groups in which permutability and S-permutability are transitive relations.

PST-GroupFinite Solvable Group.Subnormal SubgroupT-GroupGrups Teoria deÀlgebraMATEMATICA APLICADA
researchProduct

Bilinear R-parity violation with flavor symmetry

2012

Bilinear R-parity violation (BRPV) provides the simplest intrinsically supersymmetric neutrino mass generation scheme. While neutrino mixing parameters can be probed in high energy accelerators, they are unfortunately not predicted by the theory. Here we propose a model based on the discrete flavor symmetry Lambda(4) with a single R-parity violating parameter, leading to (i) correct Cabbibo mixing given by the Gatto-Sartori-Tonin formula, and a successful unification-like b-tau mass relation, and (ii) a correlation between the lepton mixing angles theta(13) and theta(23) in agreement with recent neutrino oscillation data, as well as a (nearly) massless neutrino, leading to absence of neutri…

Particle physicsNuclear and High Energy PhysicsSupersymmetric Standard ModelFOS: Physical sciences01 natural sciencesHigh Energy Physics - Phenomenology (hep-ph)R-parityDouble beta decay0103 physical sciencesDiscrete and Finite SymmetriesNeutrino Physics010306 general physicsNeutrino oscillationMixing (physics)Physics010308 nuclear & particles physicsComputer Science::Information RetrievalMass generationHigh Energy Physics::PhenomenologyFísicaMassless particleHigh Energy Physics - Phenomenology[PHYS.HPHE]Physics [physics]/High Energy Physics - Phenomenology [hep-ph]Beyond Standard ModelHigh Energy Physics::ExperimentNeutrinoLepton
researchProduct

Density distributions in the $B$ meson

2016

We report on a two-flavor lattice QCD study of the axial, charge and matter distributions of the $B$ meson and its first radial excitation. As our framework is the static limit of Heavy Quark Effective Theory (HQET), taking their Fourier transform gives access to several form factors at the kinematical point $q^2=0$. Moreover they provide some useful information on the nature of an excited state, i.e. a radial excitation of a quark-antiquark bound state or a multihadron state.

Particle physicsquark antiquark: bound stateMesonHigh Energy Physics::LatticeFOS: Physical sciencescharge distribution01 natural sciencesfermion: cloverpi: couplingsymbols.namesakeHigh Energy Physics - LatticeHigh Energy Physics - Phenomenology (hep-ph)density: spatial distributionquark: flavor: 2excited state0103 physical sciencesBound stateB meson010306 general physicscharge: axialform factorPhysicsHeavy Quark Effective Theory[PHYS.HLAT]Physics [physics]/High Energy Physics - Lattice [hep-lat]finite size: effect010308 nuclear & particles physicsHigh Energy Physics::PhenomenologyHigh Energy Physics - Lattice (hep-lat)Form factor (quantum field theory)[ PHYS.HLAT ] Physics [physics]/High Energy Physics - Lattice [hep-lat]Charge (physics)Lattice QCDHigh Energy Physics - PhenomenologyFourier transformkinematicsmatter: distribution function[PHYS.HPHE]Physics [physics]/High Energy Physics - Phenomenology [hep-ph]bottom mesonExcited statesymbols[ PHYS.HPHE ] Physics [physics]/High Energy Physics - Phenomenology [hep-ph]High Energy Physics::Experimentquark: Wilsonquantum chromodynamics: lattice
researchProduct